منابع مشابه
Generalized Bisimulation Metrics
The bisimilarity pseudometric based on the Kantorovich lifting is one of the most popular metrics for probabilistic processes proposed in the literature. However, its application in verification is limited to linear properties. We propose a generalization of this metric which allows to deal with a wider class of properties, such as those used in security and privacy. More precisely, we propose ...
متن کاملUp-To Techniques for Generalized Bisimulation Metrics
Bisimulation metrics allow us to compute distances between the behaviors of probabilistic systems. In this paper we present enhancements of the proof method based on bisimulation metrics, by extending the theory of up-to techniques to (pre)metrics on discrete probabilistic concurrent processes. Up-to techniques have proved to be a powerful proof method for showing that two systems are bisimilar...
متن کاملBisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees
In this work, we develop a generalization of Hennessy-Milner Logic (HML) for Generalized Synchronization Trees (GSTs) that we call Generalized Hennessy Milner Logic (GHML). Importantly, this logic suggests a strong relationship between (weak) bisimulation for GSTs and ordinary bisimulation for Synchronization Trees (STs). We demonstrate that this relationship can be used to define the GST analo...
متن کاملOM Prakash.pmd
Metal complex of pioglitazone hydrochloride (PLZ) drug with Ni(II) ion is synthesized and characterized using analytical data, molar conductance, IR, UV-Vis, magnetic, mass spectral and XRD studies. From the analytical data, the complex is proposed to have general formula [(C 19 H 19 N 2 O 3 S)+ 2 Ni]2Cl-. The conductometric titration using monovariation method reveals that complex is L 2 M typ...
متن کاملInquisitive bisimulation
Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1995
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1050